
== Grundidee == Der Beweisführer Merlin möchte dem Prüfer König Arthur eine Aussage beweisen. Arthur ist aber hinsichtlich seiner Aufnahmefähigkeit beschränkt und kann deswegen Merlins Beweis im Ganzen nicht folgen. Deswegen versucht Merlin Arthur den Beweis in kleinen Happen zu servieren, welche Arthur für sich ausrechnen kann. Der Beweisf...
Gefunden auf
https://de.wikipedia.org/wiki/Interaktives_Beweissystem
Keine exakte Übereinkunft gefunden.